minios: Define __INSIDE_MINIOS__ rather than __MINIOS__
authorKeir Fraser <keir.fraser@citrix.com>
Wed, 29 Oct 2008 12:04:38 +0000 (12:04 +0000)
committerKeir Fraser <keir.fraser@citrix.com>
Wed, 29 Oct 2008 12:04:38 +0000 (12:04 +0000)
commitaa4eca06c488a53c9aa939d79e484f6a297767df
tree3427438e39b0d658e8af731846fb9732e4737b59
parent51a6cd5ef83cfbad310f26037d3c94358e902582
minios: Define __INSIDE_MINIOS__ rather than __MINIOS__

Signed-off-by: Ian Jackson <ian.jackson@eu.citrix.com>
extras/mini-os/Makefile
extras/mini-os/include/sched.h
extras/mini-os/minios.mk